Technical Note—Complementary Programming

Technical Report Integer Programming 1 Integer Programming 4

1 To appear as a chapter of the Handbook of Algorithms edited by M. Abstract Integer programming is an expressive framework for modeling and solving discrete optimization problems that arise in a variety of contexts in the engineering sciences. Integer programming representations work with implicit algebraic constraints (linear equations and inequalities on integer valued variables) to capture ...

Multicore Programming with LabVIEW Technical Resource Guide

Scripting and Programming for Technical Computation

Principals in Programming Languages: Technical Results

This is the companion technical report for “Principals in Programming Languages” [20]. See that document for a more readable version of these results. In this paper, we describe two variants of the simply typed λ-calculus extended with a notion of principal. The results are languages in which intuitive statements like “the client must call open to obtain a file handle” can be phrased and proven...

Cloud Programming Paradigms for Technical Computing Applications

In the past four years cloud computing has emerged as an alternative platform for high performance computing. Unfortunately, there is still confusion about the cloud model and its advantages and disadvantages over tradition supercomputing based problem solving methods. In this note we characterize the ways in which cloud computing can be used productively in scientific and technical application...